$\forall$$r$:CRng. SqStable(IsIntegDom($r$))